perm filename BLOCK1.PRO[F83,JMC] blob sn#732489 filedate 1983-11-20 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	block1.pro[f83,jmc]	Prolog blocks program
C00003 ENDMK
CāŠ—;
block1.pro[f83,jmc]	Prolog blocks program

build(st,s,s0) ; structure, situation, initial situation

build([],S0,S0) :-.

build(Tower.St,S,S0 :- 	reverse(Tower,Rt),
			build1(Rt,table,S1,S0),
			build(St,S,S1).

build1([],L,S0,S0) :-.
build1([X|Rt],L,S,S0) :- move(X,L,S1,S0),
			build1(Rt,X,S,S1).

move(X,L,S0,S0) :-	at(X,L,S0).